This thesis discusses the framework for implementing static analysis on the workflow engine eTray. This framework is used to do analysis of the workflow language using formal methods. We have discussed the workflow language ...